Evaluation of two interaction techniques for visualization of dynamic graphs

Several techniques for visualization of dynamic graphs are based on different spatial arrangements of a temporal sequence of node-link diagrams. Many studies in the literature have investigated the importance of maintaining the user's mental map across this temporal sequence, but usually each layout is considered as a static graph drawing and the effect of user interaction is disregarded. We conducted a task-based controlled experiment to assess the effectiveness of two basic interaction techniques: the adjustment of the layout stability and the highlighting of adjacent nodes and edges. We found that generally both interaction techniques increase accuracy, sometimes at the cost of longer completion times, and that the highlighting outclasses the stability adjustment for many tasks except the most complex ones.Comment: Appears in the Proceedings of the 24th International Symposium on Graph Drawing and Network Visualization (GD 2016

Presupposition projection as proof construction

Even though Van der Sandt's presuppositions as anaphora approach is empirically successful, it fails to give a formal account of the interaction between world-knowledge and presuppositions. In this paper, an algorithm is sketched which is based on the idea of presuppositions as anaphora. It improves on this approach by employing a deductive system, Constructive Type Theory (CTT), to get a formal handle on the way world-knowledge influences presupposition projection. In CTT, proofs for expressions are explicitly represented as objects. These objects can be seen as a generalization of DRT's discourse markers. They are useful in dealing with presuppositional phenomena which require world-knowledge, such as Clark's bridging examples and Beaver's conditional presuppositions

Inconsistent boundaries

Research on this paper was supported by a grant from the Marsden Fund, Royal Society of New Zealand.Mereotopology is a theory of connected parts. The existence of boundaries, as parts of everyday objects, is basic to any such theory; but in classical mereotopology, there is a problem: if boundaries exist, then either distinct entities cannot be in contact, or else space is not topologically connected (Varzi in Noûs 31:26–58, 1997). In this paper we urge that this problem can be met with a paraconsistent mereotopology, and sketch the details of one such approach. The resulting theory focuses attention on the role of empty parts, in delivering a balanced and bounded metaphysics of naive space.PostprintPeer reviewe

Mutations in DCC cause isolated agenesis of the corpus callosum with incomplete penetrance

Brain malformations involving the corpus callosum are common in children with developmental disabilities. We identified DCC mutations in four families and five sporadic individuals with isolated agenesis of the corpus callosum (ACC) without intellectual disability. DCC mutations result in variable dominant phenotypes with decreased penetrance, including mirror movements and ACC associated with a favorable developmental prognosis. Possible phenotypic modifiers include the type and location of mutation and the sex of the individual

Living on Cold Substrata: New Insights and Approaches in the Study of Microphytobenthos Ecophysiology and Ecology in Kongsfjorden

Organisms in shallow waters at high latitudes are under pressure due to climate change. These areas are typically inhabited by microphytobenthos (MPB) communities, composed mainly of diatoms. Only sparse information is available on the ecophysiology and acclimation processes within MPBs from Arctic regions. The physico-chemical environment and the ecology and ecophysiology of benthic diatoms in Kongsfjorden (Svalbard, Norway) are addressed in this review. MPB biofilms cover extensive areas of sediment. They show high rates of primary production, stabilise sediment surfaces against erosion under hydrodynamic forces,and affect the exchange of oxygen and nutrients across the sediment-water interface. Additionally, this phototrophic community represents a key component in the functioning of the Kongsfjorden trophic web, particularly as a major food source for benthic suspension- or deposit-feeders. MPB in Kongsfjorden is confronted with pronounced seasonal variations in solar radiation, low temperatures, and hyposaline (meltwater) conditions in summer, as well as long periods of ice and snow cover in winter. From the few data available, it seems that these organisms can easily cope with these environmental extremes. The underlying physiological mechanisms that allow growth and photosynthesis to continue under widely varying abiotic parameters, along with vertical migration and heterotrophy, and biochemical features such as a pronounced fatty-acid metabolism and silicate incorporation are discussed. Existing gaps in our knowledge of benthic diatoms in Kongsfjorden, such as the chemical ecology of biotic interactions, need to be filled. In addition, since many of the underlying molecular acclimation mechanisms are poorly understood, modern approaches based on transcriptomics, proteomics, and/or metabolomics, in conjunction with cell biological and biochemical techniques, are urgently needed. Climate change models for the Arctic predict other multifactorial stressors, such as an increase in precipitation and permafrost thawing, with consequences for the shallow-water regions. Both precipitation and permafrost thawing are likely to increase nutrient-enriched, turbid freshwater runoff and may locally counteract the expected increase in coastal radiation availability. So far, complex interactions among factors, as well as the full genetic diversity and physiological plasticity of Arctic benthic diatoms, have only rarely been considered. The limited existing information is described and discussed in this review

A grammar formalism with augmented phrase-construction rules

The paper describes the syntactic component of a grammar of a new form that has been developed for parsing and interpreting natural language inputs to the TENDUM dialogue system . The 'phrase-construction rules' of this grammar generate syntactic representations in the form of tree structures which may contain crossing branches, indicating the presence of a discontinuous constituent that functions as a syntactic unit. This has the advantage that a close correspondence between syntactic and semantic units can be achieved, which is important in designing a parsing process where syntactic and semantic analysis go hand in hand

Rules for the interpretation, evaluation and generation of dialogue acts

No abstract